Automatic Derivation of Meaningful Experiments for Hybrid Systems
نویسنده
چکیده
In Software Engineering, software validation aims at determining whether the software requirements are implemented correctly and completely. Validation and testing are concerned with answering the question "Are we building the right thing?". The challenge in answering this question is how to come up with experiments that make sense and can reveal most of the potential software bugs. Therefore, the choice of good input values is an essential part of the validation process.
منابع مشابه
Non-linear Fractional-Order Chaotic Systems Identification with Approximated Fractional-Order Derivative based on a Hybrid Particle Swarm Optimization-Genetic Algorithm Method
Although many mathematicians have searched on the fractional calculus since many years ago, but its application in engineering, especially in modeling and control, does not have many antecedents. Since there are much freedom in choosing the order of differentiator and integrator in fractional calculus, it is possible to model the physical systems accurately. This paper deals with time-domain id...
متن کاملDouble Derivations, Higher Double Derivations and Automatic Continuity
Let be a Banach algebra. Let be linear mappings on . First we demonstrate a theorem concerning the continuity of double derivations; especially that all of -double derivations are continuous on semi-simple Banach algebras, in certain case. Afterwards we define a new vocabulary called “-higher double derivation” and present a relation between this subject and derivations and finally give some ...
متن کاملReducing Light Change Effects in Automatic Road Detection
Automatic road extraction from aerial images can be very helpful in traffic control and vehicle guidance systems. Most of the road detection approaches are based on image segmentation algorithms. Color-based segmentation is very sensitive to light changes and consequently the change of weather condition affects the recognition rate of road detection systems. In order to reduce the light change ...
متن کاملReducing Light Change Effects in Automatic Road Detection
Automatic road extraction from aerial images can be very helpful in traffic control and vehicle guidance systems. Most of the road detection approaches are based on image segmentation algorithms. Color-based segmentation is very sensitive to light changes and consequently the change of weather condition affects the recognition rate of road detection systems. In order to reduce the light change ...
متن کامل